Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Engineering & Applied Sciences --- Computer Science --- Science --- Software engineering --- Systems engineering --- Software engineering - Congresses --- Systems engineering - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming languages and system architectures are at the frontiers of two different worlds. The conference on which this book is based was an adventure in a land where the two worlds - the formal world of algorithms and the physical world of electronic circuits - interact. The participants explored this land under the guidance of internationally renowned researchers such as Butler W. Lampson, Susan Graham, Jan L.A. van de Snepscheut, and C.A.R. Hoare, all of whom gave invited papers. The volume includes these papers together with sixteen session papers. Subjects of special interest include: programing language design and history, programming environments, programming methods, operating systems, compiler construction, and innovative system architectures.

Programming --- Computer architecture. Operating systems --- Programming languages (Electronic computers) --- Congresses --- Electronic digital computers --- Computer architecture --- Computer network architectures. --- Systems engineering. --- Software engineering. --- Computer science. --- Computer System Implementation. --- Circuits and Systems. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Architectures, Computer network --- Network architectures, Computer --- Informatics --- Science --- Computer software engineering --- Engineering --- Engineering systems --- System engineering --- Industrial engineering --- System analysis --- Design and construction

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume contains 24 selected and revised papers from an international seminar held in Dagstuhl, Germany, in 1993. The papers cover topics in the following areas: foundations of graph grammars and transformations; and applications of graph transformations to concurrent computing, specification and programming, and pattern generation and recognition.

Computer. Automation --- Discrete mathematics --- Computer science --- Congresses --- Computer graphics --- Optical pattern recognition. --- Information theory. --- Computer science. --- Combinatorics. --- Software engineering. --- Data structures (Computer scienc. --- Pattern Recognition. --- Theory of Computation. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Data Structures. --- Computer software engineering --- Engineering --- Combinatorics --- Algebra --- Mathematical analysis --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Optical data processing --- Pattern perception --- Perceptrons --- Visual discrimination

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Z (Computer program language) --- Computer software --- Formal methods (Computer science) --- Development --- 681.3*D21 --- Requirements/specifications: languages methodologies tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 Requirements/specifications: languages methodologies tools (Software engineering)--See also {681.3*D31} --- Development. --- Z (Computer program language). --- Formal methods (Computer science). --- Programming --- Computer software - Development

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

multimedia --- Computer. Automation --- Information Technology. --- Multimedia --- Software Engineering --- Web Development. --- Information Technology --- Mathematical Sciences --- Web Development --- Applied Mathematics --- #TS:WBIB --- afgesloten tijdschriften --- informatica --- Periodicals --- Computer. Informatica. Automatisering --- Multimedia systems --- Computer networks --- Multimédia --- Réseaux d'ordinateurs --- Multimedia. --- Périodiques.